60 research outputs found
Program schemes with deep pushdown storage.
Inspired by recent work of Meduna on deep pushdown automata, we consider the computational power of a class of basic program schemes, TeX, based around assignments, while-loops and non- deterministic guessing but with access to a deep pushdown stack which, apart from having the usual push and pop instructions, also has deep-push instructions which allow elements to be pushed to stack locations deep within the stack. We syntactically define sub-classes of TeX by restricting the occurrences of pops, pushes and deep-pushes and capture the complexity classes NP and PSPACE. Furthermore, we show that all problems accepted by program schemes of TeX are in EXPTIME
Applying causality principles to the axiomatization of probabilistic cellular automata
Cellular automata (CA) consist of an array of identical cells, each of which
may take one of a finite number of possible states. The entire array evolves in
discrete time steps by iterating a global evolution G. Further, this global
evolution G is required to be shift-invariant (it acts the same everywhere) and
causal (information cannot be transmitted faster than some fixed number of
cells per time step). At least in the classical, reversible and quantum cases,
these two top-down axiomatic conditions are sufficient to entail more
bottom-up, operational descriptions of G. We investigate whether the same is
true in the probabilistic case. Keywords: Characterization, noise, Markov
process, stochastic Einstein locality, screening-off, common cause principle,
non-signalling, Multi-party non-local box.Comment: 13 pages, 6 figures, LaTeX, v2: refs adde
On Factor Universality in Symbolic Spaces
The study of factoring relations between subshifts or cellular automata is
central in symbolic dynamics. Besides, a notion of intrinsic universality for
cellular automata based on an operation of rescaling is receiving more and more
attention in the literature. In this paper, we propose to study the factoring
relation up to rescalings, and ask for the existence of universal objects for
that simulation relation. In classical simulations of a system S by a system T,
the simulation takes place on a specific subset of configurations of T
depending on S (this is the case for intrinsic universality). Our setting,
however, asks for every configurations of T to have a meaningful interpretation
in S. Despite this strong requirement, we show that there exists a cellular
automaton able to simulate any other in a large class containing arbitrarily
complex ones. We also consider the case of subshifts and, using arguments from
recursion theory, we give negative results about the existence of universal
objects in some classes
Connecting geodesics and security of configurations in compact locally symmetric spaces
A pair of points in a riemannian manifold makes a secure configuration if the
totality of geodesics connecting them can be blocked by a finite set. The
manifold is secure if every configuration is secure. We investigate the
security of compact, locally symmetric spaces.Comment: 27 pages, 2 figure
Index theory of one dimensional quantum walks and cellular automata
If a one-dimensional quantum lattice system is subject to one step of a
reversible discrete-time dynamics, it is intuitive that as much "quantum
information" as moves into any given block of cells from the left, has to exit
that block to the right. For two types of such systems - namely quantum walks
and cellular automata - we make this intuition precise by defining an index, a
quantity that measures the "net flow of quantum information" through the
system. The index supplies a complete characterization of two properties of the
discrete dynamics. First, two systems S_1, S_2 can be pieced together, in the
sense that there is a system S which locally acts like S_1 in one region and
like S_2 in some other region, if and only if S_1 and S_2 have the same index.
Second, the index labels connected components of such systems: equality of the
index is necessary and sufficient for the existence of a continuous deformation
of S_1 into S_2. In the case of quantum walks, the index is integer-valued,
whereas for cellular automata, it takes values in the group of positive
rationals. In both cases, the map S -> ind S is a group homomorphism if
composition of the discrete dynamics is taken as the group law of the quantum
systems. Systems with trivial index are precisely those which can be realized
by partitioned unitaries, and the prototypes of systems with non-trivial index
are shifts.Comment: 38 pages. v2: added examples, terminology clarifie
Repetitions in beta-integers
Classical crystals are solid materials containing arbitrarily long periodic
repetitions of a single motif. In this paper, we study the maximal possible
repetition of the same motif occurring in beta-integers -- one dimensional
models of quasicrystals. We are interested in beta-integers realizing only a
finite number of distinct distances between neighboring elements. In such a
case, the problem may be reformulated in terms of combinatorics on words as a
study of the index of infinite words coding beta-integers. We will solve a
particular case for beta being a quadratic non-simple Parry number.Comment: 11 page
Insecurity for compact surfaces of positive genus
A pair of points in a riemannian manifold is secure if the geodesics
between the points can be blocked by a finite number of point obstacles;
otherwise the pair of points is insecure. A manifold is secure if all pairs of
points in are secure. A manifold is insecure if there exists an insecure
point pair, and totally insecure if all point pairs are insecure.
Compact, flat manifolds are secure. A standing conjecture says that these are
the only secure, compact riemannian manifolds. We prove this for surfaces of
genus greater than zero. We also prove that a closed surface of genus greater
than one with any riemannian metric and a closed surface of genus one with
generic metric are totally insecure.Comment: 37 pages, 11 figure
Nodal domains of Maass forms I
This paper deals with some questions that have received a lot of attention
since they were raised by Hejhal and Rackner in their 1992 numerical
computations of Maass forms. We establish sharp upper and lower bounds for the
-restrictions of these forms to certain curves on the modular surface.
These results, together with the Lindelof Hypothesis and known subconvex
-bounds are applied to prove that locally the number of nodal domains
of such a form goes to infinity with its eigenvalue.Comment: To appear in GAF
- …